失敗に依る否定 (NAF)
nagation as failure
失敗による否定 - Wikipedia
Negation as failure - Wikipedia
公理
$ \neg\square x\to\neg x
※
$ \square\neg x\to\neg x
は
樣相論理
公理 T
$ \square x\to x
から成立する
意味論
完全性意味論
閉世界假說
自己認識意味論
自己認識論理
Prolog